body {
background: url(./background.gif) repeat-x #fff fixed;
padding: 1.3em;
font:1.1em Verdana,sans-serif;
}

p
{
    font-size: 16px;
    line-height: 32px;
    text-indent: 2em;
}
.table table
{
    border-width: 1px;
    border-style: solid;
    border-color: black;
    border-spacing: 0;
    background: rgb(240,240,240);
}

.table td
{
    border: none;
    border-right: 1px black solid;
    border-bottom: 1px black solid;
    padding: 2px;
}

.table th
{
    background: rgb(180,180,180);
    border: none;
    border-right: 1px black solid;
    border-bottom: 1px black solid;
    padding: 2px;
}

.table p.title, .figure p.title, .example p.title
{
    text-align: left !important;
    font-size: 100% !important;
}
h1, h2, h3, h4, h5 {
    color: #000000;
}

span.term {
    font-weight: bold;
}

div.sidebar {
    background: #F0F0F0;
    border: 1px solid gray;
    padding: 5px;
    margin: 20px;
}

pre.programlisting {
    background: #F0F0F0;
    border: 1px solid gray;
    font-size: 10pt;
    white-space: pre;
}

.screen{
    padding: 0.3em;
    font:1.2em Verdana,sans-serif;
    border: 1px dashed;
    background:#E7D8AF;
}

.tip
{
    padding: 0.3em;
    font:1.2em Verdana,sans-serif;
    border: black solid 1px;
    margin: 0.12in 0;
    padding: 0 55px;
    color: #666666;
}
